Visualisation of refinements - Software Engineering Conference, 2001. Proceedings. 2001 Australian
نویسنده
چکیده
Animation tools have proven to be effective as a means of visualising formal specijcations. Specijcations that might otherwise be impenetrable can be communicated to a wide range of people involved in the s o w a r e development p m cess. Here we argue that animation can also aid understanding of formal program development, or rejnement. We examine two case studies that demonstrate the effectiveness of visualisations generated from a specijcation animation tool for improving the understanding of rejnements.
منابع مشابه
CORONET: An Australian Software Engineering Experience in Collaborative Research with the European Community
The purpose of this paper is two fold. Firstly, to inform the Australian software engineering community of the European Fifth Framework research structure and the involvement of an Australian partner in a fifth framework project, CORONET. Secondly to describe the CORONET project. CORONET develops a new approach for software engineering training in knowledge networks. CORONET aims to support on ...
متن کاملState of the Art v State of the Practice: A Personal Perspective on the Changes in the Australian Software Engineering Landscape
The Global Software Industry has undergone some dramatic changes in the past few years. From the high tech bubble of late 1990’s, to the tech crash of 2001, to the globalisation of IT services, to the beginning of utility computing, to most recently the impact of governance regulations such as Sarbannes Oxley. The Australian software industry has also been dramatically affected by these global ...
متن کاملExtending the UML for Designing Jack Agents
Mainstreaming and industrialising agent technologies requires suitable methodological and technological support for the various engineering activities associated with managing the complexity of any software system development. Despite its origins in object oriented software engineering the UML provides a rich and extensible set of modelling constructs that can be applied to agent oriented techn...
متن کاملKnowledge Mediation in Software Quality Engineering
The risk of failure of the software development process remains high despite many attempts to improve the quality of software engineering. Contemporary approaches to process assurance, such as the Capability Maturity Model (CMM) have not prevented systemic failures, nor have project management methodologies provided guarantees of sofhvare quality. This paper proposes an approach to SOBware qual...
متن کاملRapid Assembly and Deployment of Domain Visualisation Solutions
Information visualisation exploits the natural perceptual capabilities of the decisionmaker to facilitate the rapid assimilation and analysis of abstract, complex and often voluminous information. In this paper we argue that a major advance for computerbased information visualisation will be the definition of an open, component-based framework to support the rapid assembly and deployment of vis...
متن کامل